1. Abstract machine models for highly parallel computers
Author: edited by John R. Davy and Peter M. Dew
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Parallel computers , Machine theory
Classification :
QA
76
.
58
.
A22
1995
2. Abstract machine models for parallel and distributed computing
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Parallel computers,، Electronic data processing-- Distributed processing,، Machine theory
Classification :
QA
76
.
58
.
A27
196
3. Abstract machine models for parallel and distributed computing
Author: edited by M. Kara... ]et al.[
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Machine theory,، Parallel processing )Electronic computers(
Classification :
QA
267
.
A38
1996
4. Applications of process algebra
Author: edited by J.C.M. Baeten
Library: Central Library and Documentation Center (Semnan)
Subject: ، Machine theory,، Parallel processing )Electronic computers(,Mathematics ، Computer science,، Computer network protocols,، Axiomatic set theory
Classification :
QA
267
.
A67
2004
5. CONCUR'90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : Proceedings
Author: J.C.M. Baeten, J.W. Klop, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
458
6. CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory-- Congresses,، Parallel processing )Electronic computers(-- Congresses
Classification :
QA
267
.
C5927
1990
7. Concurrency theor
Author: / Howard Bowman and Rodolfo Gomez
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Parallel processing (Electronic computers)--Mathematical models,Machine theory.,LOTOS (Computer program language)
Classification :
QA
,
76
.
58
,.
B69
,
2006
8. Concurrency theory :calculi and automata for modelling untimed and timed concurrent systems. ]CD[
Author: Bowman, Howard, Howard Bowman and Rodolfo Gomez
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: Mathematical models ، Parallel processing )Electronic computers(,، Machine theory,، LOTOS )Computer program language(
9. Handbook of process algebra
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory,، Parallel processing )Electronic computers(
Classification :
QA
267
.
H335
2001
10. Handbook of process algebra
Author: edited by J.A. Bergstra, A. Ponse, S.A. Smolka
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Machine theory,، Parallel processing )Electronic computers(
Classification :
QA
267
.
H266
11. Handbook of process algebra
Author: edited by J.A. Bergstra, A. Ponse, S.A. Smolka
Library: (Mazandaran)
Subject: Machine theory,Parallel processing )Electronic computers(
Classification :
QA
.
H335
267
2001
12. Process algebra and probabilistic methods :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Machine theory ; Congresses ; Parallel processing (Electronic computers) ; Congresses ;
13. Process algebra and probabilistic methods
Author: / Holger Hermanns, Roberto Segala, eds
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory--Congresses,Parallel processing (Electronic computers)--Congresses
Classification :
QA
,
267
,.
P362
,
2002
14. Process algebra and probabilistic methods: performance modeling and verification: joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
267
.
P36
2001
15. Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
Author: Luca de Alfaro, Stephen Gilmore )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
2165
16. Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
Author: Holger Hermanns, Roberto Segala, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
2399
17. Theoretical computer science
Author:
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Combinatorial analysis- Data processing,، Computational complexity,، Machine theory,، Parallel processing )Electronic computers(
Classification :
QA
164
.
T45
18. concurrency theory-CONCUR 2007
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Parallel processing (Electronic computers) ; Machine theory. ;
